#ifndef KSTDIO_H
#define KSTDIO_H

extern "C" char * VIDEO_RAM;
extern "C" void init_tty();
extern "C" void clear();

extern "C" void kprintf(const char *fmt, ...);

#endif /* KSTDIO_H */
